Search results for "Double exponential function"

showing 4 items of 4 documents

On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards

2007

The guarded fragment of first-order logic, GF, enjoys the finite model property, so the satisfiability and the finite satisfiability problems coincide. We are concerned with two extensions of the two-variable guarded fragment that do not possess the finite model property, namely, GF2 with equivalence and GF2 with transitive guards. We prove that in both cases every finitely satisfiable formula has a model of at most double exponential size w.r.t. its length. To obtain the result we invent a strategy of building finite models that are formed from a number of multidimensional grids placed over a cylindrical surface. The construction yields a 2NEXPTIME-upper bound on the complexity of the fini…

Discrete mathematicsTransitive relationFinite model propertyDouble exponential functionEquivalence (formal languages)AlgorithmSatisfiabilityFinite satisfiabilityMathematics
researchProduct

Strength distribution in paper

1998

Abstract Tensile strength distributions are studied in four paper samples that exhibit a variety of brittle-to-ductile properties. 1005 tensile specimens were measured in each case. The standard Gumbel and Weibull distributions, and a recently proposed double exponential modification of the former are compared with the observations visually and using chi-squared and Kolmogorov–Smirnov tests. The Gumbel distribution fails to fit the data while the Weibull distribution gives satisfactory agreement. However, the double exponential distribution fits the data best, regardless of the ductility of the material.

Materials scienceWeibull modulusMechanical EngineeringDouble exponential functionCondensed Matter PhysicsDistribution fittingGumbel distributionMechanics of MaterialsUltimate tensile strengthForensic engineeringGeneral Materials ScienceStatistical physicsDuctilityExponentiated Weibull distributionWeibull distributionMaterials Science and Engineering: A
researchProduct

Sharp generalized Trudinger inequalities via truncation

2006

Abstract We prove that the generalized Trudinger inequalities into exponential and double exponential Orlicz spaces improve to inequalities on Orlicz–Lorentz spaces provided they are stable under truncation.

Mathematics::Functional AnalysisLorentz spaceTruncationApplied MathematicsMathematical analysisDouble exponential functionMathematics::Classical Analysis and ODEsSobolev inequalitiesOrlicz spacesAnalysisExponential functionSobolev inequalityMathematicsJournal of Mathematical Analysis and Applications
researchProduct

Extracting parameters from semi-log plots of polycrystalline silicon PV modules outdoor I–V data: Double-exponential model revisited

2010

This paper presents a method for extracting physically meaningful parameters from measured I–V curves of PV modules. The 7-parameter double-exponential model is applied in the modeling. The method is based on linear fitting of semi-logarithmic plots. The paper demonstrates a new technique to estimate the series resistance of a module with high accuracy from such plots. As a result, also the reverse saturation current and the quality factor of the diffusion diode can be determined. The method is applied to outdoor I–V data from a test station with three similar, but not identical, polycrystalline-Si modules. The values of the series resistances found with this method deviate somewhat from th…

Polycrystalline siliconSeries (mathematics)Equivalent series resistanceSaturation currentQ factorMathematical analysisengineeringAnalytical chemistryDouble exponential functionengineering.materialDiffusion (business)DiodeMathematics2010 35th IEEE Photovoltaic Specialists Conference
researchProduct